partial evaluation การใช้

• Learning constraints representing these partial evaluation is called graph-based learning.
• The CBO also did a partial evaluation of the bill.
• Of course, partial evaluation can be combined with other incremental computing techniques.
• A partial evaluation is consistent if it satisfies all constraints whose scope is a subset of the assigned variables.
• In computing, "'partial evaluation "'is a technique for several different types of specialization.
• In SDS agents perform cheap, partial evaluations of a hypothesis ( a candidate solution to the search problem ).
• Width 2 guarantees that every consistent partial evaluation can be extended to a solution, but this width is relative to the generated graph.
• "' Olivier Danvy "'is a computer scientist specializing in programming languages, partial evaluation, and continuations at the University of Aarhus in Denmark.
• The " standard " local consistency conditions all require that all consistent partial evaluations can be extended to another variable in such a way the resulting assignment is consistent.
• Indeed, even if these values are all consistent with the current partial evaluation, the algorithm will later fail to find a consistent value for the unassigned variable.
• In general, learning all inconsistencies in form of constraints and keeping them indefinitedly may exhaust the available memory and increase the cost of checking consistency of partial evaluations.
• If this is the case, a solution can be easily found by iteratively setting an unassigned variable to an arbitrary value, and propagating this partial evaluation to other variables.
• In constraint satisfaction, a partial evaluation is " consistent " if and only if it satisfies all constraints involving the assigned variables, and " inconsistent " otherwise.
• On the other hand, finding a small inconsistent subset of the current partial evaluation may require time, and the benefit may not be balanced by the subsequent reduction of the search time.
• Constraint learning algorithms differ not only on the choice of constraint corresponding to a given inconsistent partial evaluation, but also on the choice of which constraint they maintain and which ones they discard.
• On the other hand, enforcing consistency with variables that are already evaluated is not necessary : if the algorithm chooses a value that is inconsistent with the current partial evaluation, inconsistency is detected anyway.
• If this subset is inconsistent and the algorithm has stored this fact in form of a constraint, no further search is needed to conclude that the new partial evaluation cannot be extended to form a solution.
• Compilers use precomputation extensively as a means of increasing the run-time speed of the resulting code : this precomputation can be regarded as in effect a form of partial evaluation of the program code itself.
• "' Flow chart language "'( FCL ) is a simple imperative programming language designed for the purposes of explaining fundamental concepts of program analysis and specialization, in particular, partial evaluation.
• On the other hand, if a subset of this evaluation is inconsistent, the corresponding constraint may be useful in the subsequent search, as the same subset of the partial evaluation may occur again in the search.